Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic
نویسندگان
چکیده
In this paper we propose a temporal extension of Defeasible Logic to model legal modifications, such as abrogation and annulment. Hence, this framework overcomes the difficulty, discussed elsewhere [7], of capturing these modification types using belief and base revision.
منابع مشابه
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model.
متن کاملChanging legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model. This model expresses temporal aspects of legal rules, and dist...
متن کاملLogics for Legal Dynamics
Legal dynamics is an important aspect of legal reasoning that inspired the area of belief revision. While formal models of belief revision have been thoroughly examined, the formalisation of legal dynamic has been mostly neglected. In this contribution we propose Temporal Defeasible Logic to model legal dynamics. We build such a logic in steps starting from basic defeasible logic, and we show h...
متن کاملArgumentation Semantics for Temporal Defeasible Logic
Temporal Defeasible Logic extends Defeasible Logic (DL) [1] to deal with temporal aspects. This extension proved useful in modelling temporalised normative positions [3] and retroactive rules, which permit to obtain conclusions holding at a time instant that precedes the time of application of the same rules [4]. Time is added in two ways. First, a temporalised literal is a pair l : t where l i...
متن کاملOn the Complexity of Temporal Defeasible Logic
In this paper we investigate the complexity of temporal defeasible logic, and we propose an efficient algorithm to compute the extension of a temporalised defeasible theory. We motivate the logic showing how it can be used to model deadlines.
متن کامل